The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Agostino Cortesi Books

Results for Agostino Cortesi

Showing 13 to 18 of 18 results
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings: 2575 (Lecture Notes in Computer Science) Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings: 2575 (Lecture Notes in Computer Science) by Agostino Cortesi,Supratik Mukhopadhyay,Paul D. Attie,Lenore D. Zuck

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings: 2575 (Lecture Notes in Computer Science)

by Agostino Cortesi,Supratik Mukhopadhyay,Paul D. Attie,Lenore D. Zuck


ISBN 13: 9783540003489

Format: Paperback (340 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $55.21  
New : $55.21
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings: 1694 (Lecture Notes in Computer Science) Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings: 1694 (Lecture Notes in Computer Science) by Agostino Cortesi, Gilberto File

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings: 1694 (Lecture Notes in Computer Science)

by Agostino Cortesi, Gilberto File


ISBN 13: 9783540664598

Format: Paperback (368 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $54.86  
New : $54.86
Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012, Proceedings: 7564 (Lecture Notes in Computer Science) Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012, Proceedings: 7564 (Lecture Notes in Computer Science) by Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Slawomir Wierzchon

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012, Proceedings: 7564 (Lecture Notes in Computer Science)

by Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Slawomir Wierzchon


ISBN 13: 9783642332593

Format: Paperback (456 pages)
Publisher: Springer
Published: 10 Aug 2012

Save for later

 
New : $54.94  
New : $54.94
Advanced Computing and Systems for Security: Volume Ten: 996 (Advances in Intelligent Systems and Computing) Advanced Computing and Systems for Security: Volume Ten: 996 (Advances in Intelligent Systems and Computing) by Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Advanced Computing and Systems for Security: Volume Ten: 996 (Advances in Intelligent Systems and Computing)

by Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki


ISBN 13: 9789811389689

Format: Paperback (180 pages)
Publisher: Springer
Published: 05 Sep 2019

Save for later

 
New : $54.60  
New : $54.60
Advanced Computing and Systems for Security: Volume Eleven: 1178 (Advances in Intelligent Systems and Computing) Advanced Computing and Systems for Security: Volume Eleven: 1178 (Advances in Intelligent Systems and Computing) by Rituparna Chaki,Agostino Cortesi,Khalid Saeed,Nabendu Chaki

Advanced Computing and Systems for Security: Volume Eleven: 1178 (Advances in Intelligent Systems and Computing)

by Rituparna Chaki,Agostino Cortesi,Khalid Saeed,Nabendu Chaki


ISBN 13: 9789811557460

Format: Paperback (156 pages)
Publisher: Springer
Published: 23 Jul 2020

Save for later

 
New : $107.54  
New : $107.54
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2021: 99 (Lecture Notes on Data Engineering and Communications Technologies, 99) Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2021: 99 (Lecture Notes on Data Engineering and Communications Technologies, 99) by Nabendu Chaki,Nagaraju Devarakonda,Agostino Cortesi,Hari Seetha

Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2021: 99 (Lecture Notes on Data Engineering and Communications Technologies, 99)

by Nabendu Chaki,Nagaraju Devarakonda,Agostino Cortesi,Hari Seetha


ISBN 13: 9789811671814

Format: Paperback (484 pages)
Publisher: Springer
Published: 01 Mar 2022

Save for later

 
New : $187.10  
New : $187.10